Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6h
🔧Hardware Verification
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·4h·
Discuss: Hacker News
💨Cache Optimization
6th October – Threat Intelligence Report
research.checkpoint.com·1h
🛡Cybersecurity
The Future of the Grid: Simulation-Driven Optimization
spectrum.ieee.org·49m
👁️System Observability
Shift left on x
blog.ploeh.dk·2h
🔄Language Evolution
Restoring Reliability in the AI-Aided Software Development Life Cycle
cacm.acm.org·2d
📏Code Metrics
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
⚡Cache Coherence
Real-time Fault Prognostics for Marine QNX Systems via Hybrid Kalman Filtering and Deep Reinforcement Learning
dev.to·22h·
Discuss: DEV
💾Persistence Strategies
Learning from software errors – Part 2: Why did Ariane 5 explode after take-off?
heise.de·3d
📐Arithmetic Precision
Lessons from the frontier of robotics and AV convergence
madcornishprojectionist.co.uk·1h
✋Tactile Computing
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·4h
📏Code Metrics
Detecting DLL hijacking with machine learning: real-world cases
securelist.com·2h
🎫Kerberos Exploitation
Souvenir
deprogrammaticaipsum.com·7h
🔩Systems Programming
The Death of Microservice Madness (2018)
dwmkerr.com·23h·
Discuss: Hacker News
🌊Streaming Systems
Ask HN: What are common mistakes in Move smart contract development?
news.ycombinator.com·3h·
Discuss: Hacker News
🔬Refinement Types
Measuring scaleup for Postgres 18.0 with sysbench
smalldatum.blogspot.com·17h·
Discuss: smalldatum.blogspot.com
📊Performance Profiling
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·1d·
Discuss: DEV
📋Format Specification
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6h·
Discuss: DEV
📏Code Metrics
Cap'n Proto in WASM
mikel.xyz·1h·
Discuss: Hacker News
🌐WASI
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·15h·
Discuss: Hacker News
🛡️WASM Security